Magnus Mæhlum
EMSOFT 2025: 25th International Conference on Embedded Software
Quasi-Static Scheduling for Deterministic Timed Concurrent Models on Multi-Core Hardware
Shaokai Lin,
Erling Jellum,
Mirco Theile,
Tassilo Tanneberger,
Binqi Sun,
Chadlia Jerad,
Ruomu Xu,
Guangyu Feng,
Magnus Mæhlum,
Martin Schoeberl,
Linh Thi Xuan Phan,
Jeronimo Castrillon,
Sanjit A. Seshia, and
Edward A. Lee